منابع مشابه
An Inductive Proof Method for Simulation-based Compiler Correctness
We study induction on the program structure as a proof method for bisimulation-based compiler correctness. We consider a first-order language with mutually recursive function definitions, system calls, and an environment semantics. The proof method relies on a generalization of compatibility of function definition with the bisimulation. We use the inductive method to show correctness of a form ...
متن کاملAN INDUCTIVE FUZZY DIMENSION
Using a system of axioms among with a modified definition of boundary on the basis of the intuitionistic fuzzy sets, we formulate an inductive structure for the dimension of fuzzy spaces which has been defined by Coker. This new definition of boundary allows to characterize an intuitionistic fuzzy clopen set as a set with zero boundary. Also, some critical properties and applications are establ...
متن کاملSimulation O F Inductive Heating Simulation of Inductive Heating
Induction heating is a process whereby heat is generated in electrically conducting materials through ohmic losses from eddy currents induced by varying electromagnetic fields. This phenomenon can be described by a heat transfer equation and an eddy current equation. These two equations are coupled because most of the material properties are temperature-dependent. In this report a description i...
متن کاملa paradigm shift away from method-wise teaching to strategy-wise teaching: an investigation of reconstructive strategy versus communicative strategy
چکیده: هدف اصلی این مطالعه ی توصیفی تحقیقی در حقیقت تلاشی پساروش-گرا به منظور رسیدن به نتیجه ای منطقی در انتخاب مناسبترین راهکار آموزشی بر گرفته از چارچوب راهبردی مطرح شده توسط والدمر مارتن بوده که به بهترین شکل سازگار و مناسب با سامانه ی آموزشی ایران باشد. از این رو، دو راهکار آموزشی، راهکار ارتباطی و راهکار بازساختی، برای تحقیق و بررسی انتخاب شدند. صریحاً اینکه، در راستای هدف اصلی این پژوهش، ر...
15 صفحه اولExtension of VIKOR Method to Find an Optimal Layout for Fixture's Supporting Points in Order to Reduce Work Piece Deformation
In automotive industry fixtures have a direct effect on product manufacturing quality, productivity and cost, as a result fixtures, particularly welding fixture, play a crucial role in the auto industry. The fixture is a special tool for holding a work piece in proper position during manufacturing operation, so in the phase of the fixture design process positioning pins and surfaces are used to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2016
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2016pap0030